Кулямин В.В.: Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (23)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Использование конечных автоматов для тестирования программ

Использование конечных автоматов для тестирования программ

Бурдонов И.Б., Косачев А.С., Кулямин В.В.

భాష:

russian

ఫైల్:

PDF, 466 KB

0 / 0

russian

2

Суперкомпьютерное моделирование в физике климатической системы. Серия "СКО"

Суперкомпьютерное моделирование в физике климатической системы. Серия "СКО"

Московский государственный университет имени М. В. Ломоносова

Лыкосов В.Н., Глазунов А.В., Кулямин Д.В., Мортиков Е.В., Степаненко В.М.

సంవత్సరం:

2012

భాష:

russian

ఫైల్:

PDF, 3.79 MB

0 / 0

russian, 2012

3

Компонентный подход в программировании

Компонентный подход в программировании

НОУ «Интуит»

Кулямин В.В.

సంవత్సరం:

2016

భాష:

russian

ఫైల్:

PDF, 51.49 MB

0 / 0

russian, 2016

4

Моделирование и верификация политик безопасности управления доступом в операционных системах: [монография]

Моделирование и верификация политик безопасности управления доступом в операционных системах: [монография]

Горячая линия-Телеком

П. Н. Девянин, Д. В. Ефремов, В. В. Кулямин [и др.]

సంవత్సరం:

2019

భాష:

russian

ఫైల్:

PDF, 2.61 MB

0 / 0

russian, 2019

5

Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

సంవత్సరం:

2006

భాష:

russian

ఫైల్:

PDF, 4.54 MB

0 / 3.0

russian, 2006

6

Технологии программирования. Компонентный подход: Лабораторная работа 1

Технологии программирования. Компонентный подход: Лабораторная работа 1

Кулямин В.В.

సంవత్సరం:

2006

భాష:

russian

ఫైల్:

PDF, 457 KB

0 / 0

russian, 2006

7

Технологии программирования. Компонентный подход

Технологии программирования. Компонентный подход

Кулямин В.В.

భాష:

russian

ఫైల్:

PDF, 3.61 MB

0 / 0

russian

8

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 1. 2008 г.

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 1. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

సంవత్సరం:

2008

భాష:

russian

ఫైల్:

PDF, 3.45 MB

0 / 0

russian, 2008

9

Методы верификации программного обеспечения

Методы верификации программного обеспечения

Кулямин В.В.

సంవత్సరం:

2008

భాష:

russian

ఫైల్:

PDF, 1.06 MB

0 / 0

russian, 2008

10

Асинхронные автоматы: Классификация и тестирование

Асинхронные автоматы: Классификация и тестирование

Бурдонов И.Б., Косачев А.С., Кулямин В.В.

భాష:

russian

ఫైల్:

PDF, 1.53 MB

0 / 0

russian

11

Перспективы интеграции методов верификации программного обеспечения

Перспективы интеграции методов верификации программного обеспечения

Кулямин В.В.

భాష:

russian

ఫైల్:

PDF, 214 KB

0 / 0

russian

12

Теория соответствия для систем с блокировками и разрушением

Теория соответствия для систем с блокировками и разрушением

Бурдонов И.Б., Косачев А.С., Кулямин В.В.

భాష:

russian

ఫైల్:

PDF, 12.77 MB

0 / 0

russian

13

Технологии программирования. Компонентный подход: Лабораторная работа 2

Технологии программирования. Компонентный подход: Лабораторная работа 2

Кулямин В.В.

సంవత్సరం:

2006

భాష:

russian

ఫైల్:

PDF, 540 KB

0 / 0

russian, 2006

14

Суперкомпьютерное моделирование в физике климатической системы

Суперкомпьютерное моделирование в физике климатической системы

Издательство Московского Университета

Лыкосов В.Н., Глазунов А.В., Кулямин Д.В., Мортиков Е.В., Степаненко В.М.

సంవత్సరం:

2012

భాష:

russian

ఫైల్:

PDF, 10.44 MB

0 / 0

russian, 2012

15

Суперкомпьютерное моделирование в физике климатической системы. Учебное пособие

Суперкомпьютерное моделирование в физике климатической системы. Учебное пособие

Лыкосов В.Н., Глазунов А.В., Кулямин Д.В., Мортиков Е.В., Степаненко В.М.

సంవత్సరం:

2012

భాష:

russian

ఫైల్:

PDF, 15.15 MB

0 / 0

russian, 2012

16

Комбинаторика слов и построение тестовых последовательностей

Комбинаторика слов и построение тестовых последовательностей

Кулямин В.В.

భాష:

russian

ఫైల్:

PDF, 413 KB

0 / 0

russian

17

Критерии тестового покрытия, основанные на структуре контрактных спецификаций

Критерии тестового покрытия, основанные на структуре контрактных спецификаций

Кулямин В.В.

భాష:

russian

ఫైల్:

PDF, 247 KB

0 / 0

russian

18

Об образах полиномиальных отображений в конечных кольцах матриц

Об образах полиномиальных отображений в конечных кольцах матриц

Кулямин В.В.

సంవత్సరం:

2000

భాష:

russian

ఫైల్:

PDF, 674 KB

0 / 0

russian, 2000

19

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 2. 2008 г.

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 2. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

సంవత్సరం:

2008

భాష:

russian

ఫైల్:

PDF, 3.30 MB

0 / 0

russian, 2008

20

Обучение передовым технологиям разработки ПО: проблемы и методы их решения

Обучение передовым технологиям разработки ПО: проблемы и методы их решения

Кулямин В.В., Омельченко В.А., Петренко О.Л.

భాష:

russian

ఫైల్:

PDF, 590 KB

0 / 0

russian

21

Формирование профессиональных компетенций современного разработчика ПО

Формирование профессиональных компетенций современного разработчика ПО

Кулямин В.В., Омельченко В.А., Петренко О.Л.

భాష:

russian

ఫైల్:

PDF, 373 KB

0 / 0

russian

22

Компонентный подход в программировании

Компонентный подход в программировании

Кулямин В.В.

భాష:

russian

ఫైల్:

PDF, 51.66 MB

0 / 0

russian

23

Исследование динамики ситуации с социальным сиротством: подходы, методы, инструменты: Коллективная монография

Исследование динамики ситуации с социальным сиротством: подходы, методы, инструменты: Коллективная монография

ЭБС Лань

Виноградова М. В., Кулямина О. С., Леонова В. П., Бронникова Е. М., Бабакаев С. В., Волков Д. В., Афанасьева Н. В.

సంవత్సరం:

2020

భాష:

russian

ఫైల్:

PDF, 888 KB

0 / 5.0

russian, 2020